Recource Limited Testing Center Scheduling for a Web-Based Testing Application

Testing centers are a useful tool to help instructors deliver computer-based tests, but computers resources are expensive and therefore limited. This paper describes a method by which testing center(s) may use iNetTest, a web-based computer aided testing system, to house and administer exams. The algorithm discussed in this paper makes it possible for instructors to schedule tests for a given time frame while ensuring that enough computer resources will be available to all of the students. The algorithm prevents the testing center from getting overwhelmed with students while attempting to maximize the usage of the valuable computer resources

Space and Time: Wind in an Investment Planning Model

Investment planning models inform investment decisions and government policies. Current models do not capture the intermittent nature of renewable energy sources, restricting the applicability of the models for high penetrations of renewables. We provide a methodology to capture spatial variation in wind output in combination with transmission constraints. The representation of wind distributions with stochastic approaches or an extensive historic data set would exceed computational constraints for real world application. Hence we restrict the amount of input data, and use boot-strapping to illustrate the robustness of the results. For the UK power system we model wind deployment and the value of transmission capacity

Origins of Neural Progenitor Cell-Derived Axons Projecting Caudally after Spinal Cord Injury.

Neural progenitor cells (NPCs) transplanted into sites of spinal cord injury (SCI) extend large numbers of axons into the caudal host spinal cord. We determined the precise locations of neurons in the graft that extend axons into the caudal host spinal cord using AAV9-Cre-initiated retrograde tracing into floxed-TdTomato-expressing NPC grafts. 7,640 ± 630 grafted neurons extended axons to a single caudal host spinal cord site located 2 mm beyond the lesion, 5 weeks post injury. While caudally projecting axons arose from neurons located in all regions of the graft, the majority of caudally projecting graft neurons (53%) were located within the caudal one-third of the graft. Numerous host corticospinal axons formed monosynaptic projections onto caudally projecting graft neurons; however, we find that the majority of host axonal neuronal projections formed by neural progenitor cell interneuronal "relays" across sites of SCI are likely polysynaptic in nature

Emergency supply of prescription-only medicines to patients by community pharmacists: a mixed methods evaluation incorporating patient, pharmacist and GP perspectives

Objective To evaluate and inform emergency supply of prescription-only medicines by community pharmacists (CPs), including how the service could form an integral component of established healthcare provision to maximise adherence. Design Mixed methods. 4 phases: prospective audit of emergency supply requests for prescribed medicines (October–November 2012 and April 2013); interviews with CPs (February–April 2013); follow-up interviews with patients (April–May 2013); interactive feedback sessions with general practice teams (October–November 2013). Setting 22 community pharmacies and 6 general practices in Northwest England. Participants 27 CPs with experience of dealing with requests for emergency supplies; 25 patients who received an emergency supply of a prescribed medicine; 58 staff at 6 general practices. Results Clinical audit in 22 pharmacies over two 4-week periods reported that 526 medicines were requested by 450 patients. Requests peaked over a bank holiday and around weekends. A significant number of supplies were made during practice opening hours. Most requests were for older patients and for medicines used in long-term conditions. Difficulty in renewing repeat medication (forgetting to order, or prescription delays) was the major reason for requests. The majority of medicines were ‘loaned’ in advance of a National Health Service (NHS) prescription. Interviews with CPs and patients indicated that continuous supply had a positive impact on medicines adherence, removing the need to access urgent care. General practice staff were surprised and concerned by the extent of emergency supply episodes. Conclusions CPs regularly provide emergency supplies to patients who run out of their repeat medication, including during practice opening hours. This may aid adherence. There is currently no feedback loop, however, to general practice. Patient care and interprofessional communication may be better served by the introduction of a formally structured and funded NHS emergency supply service from community pharmacies, with ongoing optimisation of repeat prescribing

TRX: A Formally Verified Parser Interpreter

Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing formally correct parsers. We are using parsing expression grammars (PEGs), a formalism essentially representing recursive descent parsing, which we consider an attractive alternative to context-free grammars (CFGs). From this formalization we can extract a parser for an arbitrary PEG grammar with the warranty of total correctness, i.e., the resulting parser is terminating and correct with respect to its grammar and the semantics of PEGs; both properties formally proven in Coq.Comment: 26 pages, LMC

Identification of single-site gold catalysis in acetylene hydrochlorination

There remains considerable debate over the active form of gold under operating conditions of a recently validated gold catalyst for acetylene hydrochlorination. We have performed an in situ x-ray absorption fine structure study of gold/carbon (Au/C) catalysts under acetylene hydrochlorination reaction conditions and show that highly active catalysts comprise single-site cationic Au entities whose activity correlates with the ratio of Au(I):Au(III) present. We demonstrate that these Au/C catalysts are supported analogs of single-site homogeneous Au catalysts and propose a mechanism, supported by computational modeling, based on a redox couple of Au(I)-Au(III) species. View Full Tex

Orbits for the Impatient: A Bayesian Rejection Sampling Method for Quickly Fitting the Orbits of Long-Period Exoplanets

We describe a Bayesian rejection sampling algorithm designed to efficiently compute posterior distributions of orbital elements for data covering short fractions of long-period exoplanet orbits. Our implementation of this method, Orbits for the Impatient (OFTI), converges up to several orders of magnitude faster than two implementations of MCMC in this regime. We illustrate the efficiency of our approach by showing that OFTI calculates accurate posteriors for all existing astrometry of the exoplanet 51 Eri b up to 100 times faster than a Metropolis-Hastings MCMC. We demonstrate the accuracy of OFTI by comparing our results for several orbiting systems with those of various MCMC implementations, finding the output posteriors to be identical within shot noise. We also describe how our algorithm was used to successfully predict the location of 51 Eri b six months in the future based on less than three months of astrometry. Finally, we apply OFTI to ten long-period exoplanets and brown dwarfs, all but one of which have been monitored over less than 3% of their orbits, producing fits to their orbits from astrometric records in the literature.Comment: 32 pages, 28 figures, Accepted to A

Sequential Electrostatic Assembly of a Polymer Surfactant Corona Increases Activity of the Phosphotriesterase arPTE

We present a new methodology for the generation of discrete molecularly dispersed enzyme–polymer–surfactant bioconjugates. Significantly, we demonstrate that >3-fold increase in the catalytic efficiency of the diffusion-limited phosphotriesterase arPTE can be achieved through sequential electrostatic addition of cationic and anionic polymer surfactants, respectively. Here, the polymer surfactants assemble on the surface of the enzyme via ion exchange to yield a compact corona. The observed rate enhancement is consistent with a mechanism whereby the polymer–surfactant corona gives rise to a decrease in the dielectric constant in the vicinity of the active site of the enzyme, accelerating the rate-determining product diffusion step. The facile methodology has significant potential for increasing the efficiency of enzymes and could therefore have a substantially positive impact for industrial enzymology